Teamwork Design Based on Petri Net Plans
نویسندگان
چکیده
This paper presents an implementation of cooperative behaviors based on Cohen’s and Levesque’s Joint Commitment Theory through Petri Net Plans. Petri Net Plans formalism is used for the design of multi-robot plans, embodying the guidelines for the design of teamwork provided by the theory. Petri Net Plans are able to represent complex plans in highly dynamic, partially observable and unpredictable environments, providing all means necessary to achieve multirobot action synchronization and interruption. Experimental results are shown through the implementation of a robotic-soccer passing task, performed by Sony AIBO robots.
منابع مشابه
Formal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملModel-based Operational Planning Using Coloured Petri Nets
This paper presents a framework for modelling military operational plans with Coloured Petri Nets (CPN) and its supporting computer tool, Design/CPN. A mapping relationship between key concepts of an operational plan and CPN constructs is established. Parts of an exercise campaign plan were modelled using the proposed framework, and state space analysis of the model conducted to assess operatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008